Topology of Hom complexes and test graphs for bounding chromatic number
نویسندگان
چکیده
The Hom complex of homomorphisms between two graphs was originally introduced to provide topological lower bounds on the chromatic number of graphs. In this paper we introduce new methods for understanding the topology of Hom complexes, mostly in the context of Γ-actions on graphs and posets (for some group Γ). We view the Hom(T, •) and Hom(•, G) as functors from graphs to posets, and introduce a functor (•) from posets to graphs obtained by taking the atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of Hom complexes in terms of spaces of equivariant poset maps and Γ-twisted products of spaces. When P := F (X) is the face poset of a simplicial complex X, this provides a useful way to control the topology of Hom complexes. These constructions generalize those of the second author from [18] and well as the calculation of the homotopy groups of Hom complexes from [9]. Our foremost application of these results is the construction of new families of test graphs with arbitrarily large chromatic number graphs T with the property that the connectivity of Hom(T, G) provides the best possible lower bound on the chromatic number of G. In particular we focus on two infinite families, which we view as higher dimensional analogues of odd cycles. The family of spherical graphs have connections to the notion of homomorphism duality, whereas the family of twisted toroidal graphs lead us to establish a weakened version of a conjecture (due to Lovász) relating topological lower bounds on chromatic number to maximum degree. Other structural results allow us to show that any finite simplicial complex X with a free action by the symmetric group Sn can be approximated up to Sn-homotopy equivalence as Hom(Kn, G) for some graph G; this is a generalization of the results of Csorba from [5] for the case of n = 2. We conclude the paper with some discussion regarding the underlying categorical notions involved in our study.
منابع مشابه
The locating-chromatic number for Halin graphs
Let G be a connected graph. Let f be a proper k -coloring of G and Π = (R_1, R_2, . . . , R_k) bean ordered partition of V (G) into color classes. For any vertex v of G, define the color code c_Π(v) of v with respect to Π to be a k -tuple (d(v, R_1), d(v, R_2), . . . , d(v, R_k)), where d(v, R_i) is the min{d(v, x)|x ∈ R_i}. If distinct vertices have distinct color codes, then we call f a locat...
متن کاملHom complexes and homotopy theory in the category of graphs
We investigate a notion of ×-homotopy of graph maps that is based on the internal hom associated to the categorical product in the category of graphs. It is shown that graph ×homotopy is characterized by the topological properties of the Hom complex, a functorial way to assign a poset (and hence topological space) to a pair of graphs; Hom complexes were introduced by Lovász and further studied ...
متن کاملHom complexes and homotopy in the category of graphs
We investigate a notion of ×-homotopy of graph maps that is based on the internal hom associated to the categorical product in the category of graphs. It is shown that graph ×homotopy is characterized by the topological properties of the Hom complex, a functorial way to assign a poset (and hence topological space) to a pair of graphs; Hom complexes were introduced by Lovász and further studied ...
متن کاملThe distinguishing chromatic number of bipartite graphs of girth at least six
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. The distinguishing chromatic number $chi_{D}(G)$ of $G$ is defined similarly, where, in addition, $f$ is assumed to be a proper labeling. We prove that if $G$ is a bipartite graph of girth at least six with the maximum ...
متن کاملThe locating chromatic number of the join of graphs
Let $f$ be a proper $k$-coloring of a connected graph $G$ and $Pi=(V_1,V_2,ldots,V_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Pi$ is defined to be the ordered $k$-tuple $c_{{}_Pi}(v)=(d(v,V_1),d(v,V_2),ldots,d(v,V_k))$, where $d(v,V_i)=min{d(v,x):~xin V_i}, 1leq ileq k$. If distinct...
متن کامل